- parallel backtracking
- 并行回溯(法)
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
parallel backtracking
Look at other dictionaries:
2-satisfiability — In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… … Wikipedia
Ukraine — /yooh krayn , kruyn , yooh krayn/, n. a republic in SE Europe: rich agricultural and industrial region. 50,684,635; 223,090 sq. mi. (603,700 sq. km). Cap.: Kiev. Russian, Ukraina. Formerly, Ukrainian Soviet Socialist Republic. * * * Ukraine… … Universalium
Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Monad (functional programming) — In functional programming, a monad is a programming structure that represents computations. Monads are a kind of abstract data type constructor that encapsulate program logic instead of data in the domain model. A defined monad allows the… … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Virginia State Route 267 — State Route 267 Route information Maintained by Metropolitan Washington Airports Authority (Dulles Toll Road and Dulles Access Road) and TRIP II (Dulles Greenway) … Wikipedia
Nondeterministic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computin … Wikipedia
Chrono Cross — Chrono Cross … Wikipedia
Speedup — In parallel computing, speedup refers to how much a parallel algorithm is faster than a corresponding sequential algorithm. Definition Speedup is defined by the following formula::S p = frac{T 1}{T p}where: * p is the number of processors * T 1… … Wikipedia
Assignment (computer science) — In computer programming, an assignment statement sets or re sets the value stored in the storage location(s) denoted by a variable name. In most imperative computer programming languages, assignment statements are one of the basic statements.… … Wikipedia
African music — Introduction the musical sounds and practices of all indigenous peoples of Africa, including the Berber in the Sahara and the San (Bushmen) and Khoikhoin (Hottentot) in Southern Africa. The music of European settler communities and that of… … Universalium
